Modal mu-calculi (HoML)
Handbook of Modal Logic
のp721~756